Component-Based Construction of Heterogeneous Real-Time Systems in Bip
نویسنده
چکیده
We need an all-encompassing component-based construction framework for Mastering complexity through componentization Enhanced verifiability by compositional reasoning Comparing different architectural solutions of the same problem Motivation
منابع مشابه
BIP: Language and Tools for Component-based Construction
A central idea in systems engineering is that complex systems are built by assembling components. System designers deal with a large variety of components, each having different characteristics, from a large variety of viewpoints, each highlighting different dimensions of a system. A central problem is the meaningful composition of heterogeneous components to ensure their correct interoperation...
متن کاملRuntime Verification of Component-Based Systems
Verification of component-based systems still suffers from limitations such as state space explosion since a large number of different components may interact in an heterogeneous environment. Those limitations entail the need for complementary verification methods such as runtime verification based on dynamic analysis and prone to scalability. In this paper, we integrate runtime verification in...
متن کاملA Verifiable and Correct-by-Construction Controller for Robot Functional Levels
Autonomous robots are complex systems that require the interaction and cooperation between numerous heterogeneous software components. In recent times, robots are being increasingly used for complex and safety-critical tasks, such as exploring Mars and assisting/replacing humans. Consequently, robots are becoming critical systems that must meet safety properties, in particular, logical, tempora...
متن کاملIncremental Component-Based Construction and Verification of a Robotic System
Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and must meet safety properties including in particular temporal and real-time constraints. We present a methodology for modeling and analyzing a robotic system using the BIP component framework integrated with an existing framework ...
متن کاملTowards Correct Transformation: From High-Level Models to Time-Triggered Implementations
In embedded systems, high-level component-based design approaches have been proposed in order to allow specification and design of complex real-time systems. However, their final implementations mostly rely on the generation of code for generic execution platforms. On the other hand, a variety of RealTime Operating System (RTOS), in particular when based on the Time-Triggered (TT) paradigm, gua...
متن کامل